Aleo CEO Alex答疑！你的疑问都有答案！

编译：AleoAsia AleoAsia 2023-05-24

收录于合集

Aleo 首席执行官 Alex Pruden 分享工程路线图。他讨论了 snarkVM 中的多次执行和批量执行交易类型，使 Prover 更加高效。他分享了有关 snarkOS 的详细信息、Bullshark 共识的实施，以及有关 Leo、Explorer 和 Aleo SDK 的更多信息。链接（t.ly/-3Ey）到录音。

Alex：大家好。怎么样了？很高兴见到你们所有人。非常感谢 Viv 所做的一切，我们社区的所有大使都非常感谢你们。我知道有时候管理所有事情可能会很麻烦，但是真的很感谢这里每个人所做的工作所以谢谢你们，伙计们。

很快我将展示我们的工程路线图和我们所处的位置，以便在我们参加 AMA 之前向人们提供最新信息。希望你们都能看到这一点。

好的，这些是我们拥有的不同产品。Explorer、SDK——底部。SnarkOS、snarkVM 和 Leo 是这里堆栈的主要部分。好消息是snarkVM基本搞定了。就 Minimum Viable Launch 而言，我们已经达到了这样的地步：如果我们今天想至少在 snarkVM 方面推出，我们就可以做到。

那里有几个项目，我们称它们为多执行和批量执行交易类型。它使得进行程序间调用更加高效，并且对于单个证明者或具有同一程序的多个证明的单个程序更加高效。多次执行和批量执行是为了让证明者更有效率。因此，如果您有一个引用其他程序的程序，它会变得更有效率。我们将继续努力，因为此时主网的主要障碍是 snarkOS，这是共识。

我非常高兴和自豪地说，我们现在有一个实施 Bullshark 共识的分支，并且我们有一个运行着超过 50 个验证者的 Devnet。我知道很多人为 Testnet 3 第 3 阶段的未来部分填写了验证器申请表，但我们现在有一个 Devnet 正在运行。它很好用。我们完全没有问题。那是我们刚刚遇到的 Bullshark 里程碑 1。Bullshark 里程碑 2 到 5 基本上是关于扩展验证者集。做赌注。因此，实际上拥有与成为验证者相关联的代币并动态更新验证者集。因此，有些人获得更多代币，他们有资格加入验证者集，然后能够抵押代币。所以你在股权证明中看到的所有典型事物。这是在里程碑 2-5 中，但里程碑 1 是工作方面最大的里程碑。

所以我很自豪今天能做到这一点，这让我谈到了我的最后一点——你们中的一些人可能知道今天将发生网络重置。在该网络重置中，我们将包括 Bullshark 的验证器逻辑，它还将包括映射。在 Leo 的领导下，这是我们非常兴奋的另一件事。因此映射将为 snarkVM 启用 Finalize 指令。Finalize 是，在我们的范例中，我们有链下执行/链上 Finalize。你可以编写一个 Leo 程序，使用最终化的花括号，并做一些链上逻辑。从今天开始，或者每当我们完成网络重置时，它就会生效。

留给 Leo 的就基本是支持多执行事务，然后是数组。数组将使 Leo 中的编程变得更容易，并且数组在这种情况下也意味着字符串，因此能够在 Leo 中将数组和字符串作为本地类型来处理将使开发人员的体验变得更容易。

就是这样了。如您所见，我们离这里很近。我的意思是我对今年推出感觉很好。我们可能希望在发布之前再进行两次审核，但我对今年发布感到满意。我很乐意回答你们的任何问题。

相关提问

Viv：有人在问“主网 7 月没有变化吗？”

Alex：是的，所以我认为我们将在 7 月之前准备好在技术上推出。我认为问题将是‘我们能否获得托管支持、质押提供者和完成审计’？是否有流动性提供者或流动性场所使验证者和证明者更容易？这是一个时间问题，但从技术上讲，我看不出我们不能在 7 月推出的原因。我当然不想明年推出。我打算今年推出，但这只是具体时间的问题。我认为 7 月是一个合理的估计，我的意思是我可能会说在第三季度的某个时候可能是我会说的更好的方式。大家可以问技术路线图的问题。该技术路线图是启动所需的一切。我认为技术方面的事情都会完成，这只是审计和其他这些事情的问题。但是感觉很好。

Viv：那么在 Bullshark Milestone 程序中可以存储 credits.aleo 和自定义记录吗？

亚历克斯：映射是链上存储。所以我不确定这是否是我们所指的。但是映射是指由程序索引的链上存储。所以每个程序都有自己的链上状态，由验证者维护和更新，就像以太坊一样。因此，您也可以在链下模型中使用自定义令牌，就像在一种传统的 Aleo 或 ZEXE 模型中一样，您可以在其中使用 credits.aleo 来有效地发行您自己的令牌。这样您就可以使用常规模型拥有自定义令牌，但我们刚刚添加的主要更改是这些 Finalize 位，您可以在其中拥有与任何程序关联的链上逻辑。

问：交易速度？

Alex：所以我认为交易速度取决于模式。所以在这方面做了一些努力：1. 多重执行和批处理将加速证明。因为它基本上有助于摊销，特别是对于更复杂的程序，随着你获得越来越多的证明，它会摊销很多证明的成本。所以这是加快执行时间的一件事。2. 另一件可以加快 WASM 执行时间的事情是 Mike Turner 在 SDK 中使用 WebGL 开发的一些功能，我将功劳归功于 Leo 钱包的 Barron 和 Evan，我不确定他们是否在这里，但他们也在这方面做了一些很酷的工作。我认为专门改进 WASM 证明是一个有趣的方向。

因此，我们期待拥有一个性能更高的 WASM 证明者，以便使用 Aleo 进行更多我猜的自然引用-反引用网络交互。这就是为什么我说 snarkVM 在技术上已经准备好启动的原因之一。是的，我的意思是，正如你指出的那样，它可能会更好……所以这又回到了 7 月的问题。我们将在技术上做好准备，但好像我们可以添加这个东西，我们有这个东西，我们想在发布之前/之后做——这就是我们正在努力解决的问题。

Viv：Haruka 有一个关于新的 credits.aleo 程序的问题，该程序也支持公共 Aleo 积分。

Alex：好吧，我们做了一个微妙的改变，它们并不微妙，也许这是一个重要的改变，值得强调的是，Aleo 积分现在将默认公开。我的意思是什么——这意味着这些获得信用的验证者和证明者——这些转移现在将成为公共信用。显然你可以将它们包装起来并将它们变成私人信用，但我们这样做的一个原因是它会让我们与保管人的对话和交流变得更加容易。现实情况是，使用以隐私为中心的网络和令牌来说服人们这是值得支持的，因为他们认为与之相关的风险是非常具有挑战性的。因此，我们制作此功能的一个原因是，从托管人或基础设施提供商的角度来看，让 Aleo 更接近 Zcash。我不知道我是否回答了你的问题遥...

问：Boloney怎么样了？

Alex：我知道你们一直在玩它。使这种体验更好的一个重要因素是现在游戏中的许多交互都不是在 snark 中。它只是在您的浏览器中运行。只有几件事情需要使用证明，我认为将更多游戏纳入零知识证明和程序内部会很酷。但限制是 WASM 证明者，这是我们想要提高它的性能以便在浏览器中证明性能更好的原因之一。

Q：如何避免在游戏中每笔交易都被批准？

Alex：这更像是一个 UI/UX 问题，我认为以太坊和任何区块链都面临着类似的挑战。如果你想让任何事情发生，你必须在哪里签署交易。我认为这并不是真正在协议层面上解决，而是在钱包层面上。我们将致力于钱包的参考实施，当然，我们鼓励许多其他人也在生态系统中构建钱包，但我们将致力于我们自己的实施参考对此会有解决方案。所以请继续关注。

Viv：有很多关于验证者的问题我可以跳到 Daniel Moon 的问题，即目前活跃验证者的预期规模是多少。

Alex：我认为在 Aptos 和 Sui（即 Bullshark）的生产环境中，验证者的数量在 200 到 400 之间，我相信论文作者建议的最大值是 500。这就是我们的目标，也是我们选择的原因之一与 Bullshark 一起使用是为了拥有更多的验证者。现在顺便说一句，我要提醒的是，这是Howard和我都在等待着看会发生什么的一个领域。也许强调技术路线图上的一些风险很重要，因为我们在这里谈论它。

我认为其中一个风险是 Bullshark 可能不是正确的方法，不幸的是，在我们运行测试网之前我们不会知道。所以备份计划是回到 Tendermint 或 Tendermint 的某种风格。Tendermint 的优点是非常简单。它部署在很多地方。启动起来相对容易，所以我们有信心可以快速完成。Tendermint 的缺点通常是您需要为更多的验证器（大约超过 100 个）在通信开销方面付出高昂的代价。所以它是一个较小的验证器集。这就是我们使用 Bullshark 的原因，因为它可以支持五倍多的验证者，我们真的希望它是去中心化的，所以是的。也许我们可以问问Daniel Huang。所以 Daniel Huang 是我们的验证者关系主管。我认识的他在这方面做了很多工作。我也许可以问他，也许我们可以将 DanielMoon 引导至 Daniel Huang，他可以回答这个问题。

Alex：好吧，切换回私人积分。您完全可以私下转积分，也可以公开转积分。传输方面的默认设置将是公开的，但您没有理由不能私下进行。未来会是什么样子，我的意思是这不仅取决于我，也取决于我们所有人。我之前说过，未来这将是一个社区所有的区块链。它会有一个我什至不会运行的基础。它将是独立的，该基金会将负责管理这条链的外观。这真的取决于我们所有人，我们希望它看起来像什么。

问：第 3 阶段会有 POW 积分吗？

Alex：我不确定，我的直觉是把它推给 ZPrize。我们的激励措施将专门围绕做 WASM 改进的事情。我确实想测试系统，具体来说，我想确保验证器和证明器的整体以及一切正常工作。很明显，证明者对此很感兴趣，我们对此进行了某种测试并且感觉很好。我们确实对证明算法进行了一些小的更新。在我们启动主网之前，证明算法不是最终的。我们不打算使其抗 ASIC，但我们可能会保留根据需要更改它的权利。现有设计。所以待定关于证明者的激励措施。如果我们这样做，我认为它们会比第一次小得多。我们可能只做一个星期或类似的时间。这就是我在想的。

问：我们什么时候运行公共验证器？

Alex：我将不得不与Howard仔细核实，但我相信那是 Bullshark 里程碑 3。所以我们完成了 1。我们正在迈向里程碑 3。我相信我们什么时候会启动并运行它所以目标是在下个月完成。我们会及时通知您，我们团队的 Daniel Huang 和 Fabiano 将成为验证者的主要联系人。

问：用 Leo 编写的 dApp 在多大程度上是可破解的？

Alex：什么是可破解的？我想有两种方法可以被黑客攻击：一种是开发人员编写的逻辑在某种程度上是不正确的，并且可以以某种方式被利用。所以我想从这个意义上说，Aleo 和其他任何语言一样容易破解，或者 Leo 和其他任何语言一样容易破解，而且它非常灵活。它可以让开发人员做很多事情。也就是说，相对于 Solidity，我认为它更安全有两个原因：第一，严格来说它不是图灵完备的。没有 ZK Layer1 语言。在运行程序之前，您基本上必须预先定义一个程序。根据定义，它不可能是图灵完备的。我们实际上称其为图灵可判定的。您仍然可以在非统一计算模型中支持基本上可以想象的每个程序。但严格来说它不是图灵完备的，它实际上有优势，因为你可以准确地知道程序是什么，它会如何预先执行。因此，这意味着您不会像在 Solidity 中遇到的重入错误那样陷入奇怪的情况，人们必须一直对这些情况进行攻击。所以这是一个领域。

另一个领域，这是我们真正引以为豪的事情，当我们实际上要更多地谈论这个时——是形式验证部分。所以我们已经在 snarkVM 中正式验证了我们的大部分小工具。Leo 编译成的小工具。所以 Leo 编译成 AVM 操作码，而那些 AVM 操作码本身被编译成 R1CS 小工具。所以这些小工具有点像乐高积木构建的东西，它们构成了不同的程序。其中绝大部分已经过正式验证，我们打算正式验证整套gadgets。这意味着在数学上存在零分歧，程序的既定意图或我们希望程序执行的操作与它在幕后实际执行的操作之间的每个差异都为零。所以形式验证是一种验证这一点的数学方法。

这是其他 ZK 语言所没有的。这实际上是其他编程语言所不具备的。我认为最后一次这样做的尝试是 C 的一个分支。我不记得它叫什么，但它是 C 的一个版本，C 的一个子集已经过正式验证。因此，我们为此感到非常自豪，我认为这是我们与许多其他区块链真正不同的地方，例如与许多其他 ZK DSL，例如 Noir。这一点很重要的原因是，如果你不能保证编译器中没有错误，那就是你可以将你的程序转换为电路，如果有人注意到他们可能会引入类似无限膨胀的东西像 Zcash 遇到的错误。

问：告诉我们为什么您的项目是独一无二的？

Alex：简短的版本是可编程的隐私。我们拥有以太坊的灵活性、以太坊的可编程性以及 Zcash 的隐私。在我看来，隐私对于身份等现实世界的用例至关重要。它支持新型交互和诸如链上游戏之类的东西。但 TLDR 是可编程隐私。Aleo 是当今唯一可以在 ZK DSL 中编写程序、部署程序，然后基于该程序执行事务并更新某些状态的地方——所有这些都是私密的。没有其他地方可以做所有这些事情。在 Zcash、Tornado Cash、Aztec 等其他地方，你可以在没有可编程性的情况下做私人事情，无论他们在第二层上做什么——zk 钱。您可以通过可编程性来做事，但不能在其所有分叉和克隆上都具有隐私性，或者您无处可做。这就是我们所拥有的，我认为这才是我们真正与众不同的地方，我为此感到非常自豪，因为我认为这真的会成为这项技术的主流采用。

Alex：这里有一些关于游戏的评论。所以，是的，这就是为什么我提到作为开发者，你会做出一些决定，比如开发一款游戏，比如 Dark Forest。对于熟悉黑暗森林的人来说，它基本上就像一个大富翁游戏……这实际上是一个糟糕的例子。这可能是一款回合制策略游戏，我会这么简单地说，这很烦人，因为每次移动都必须批准交易。在 Leo 中，您可以通过两种方式来处理这个问题：一种是您可以有一个中央校对器，它会说“嘿，把所有的动作都交给我，然后我生成校样”——这对系统中的其他人来说是私有的，这很好与传统游戏的工作方式没有什么不同，尽管有点糟糕。你基本上也可以只与你正在玩的玩家进行单独的链下交互。然后你继续做你所有的动作，在最后签署整个执行跟踪的交易，然后将其作为交易提交。所以你基本上可以在 Leo 上拥有一个类似于状态通道的 L2。你可以在最后签署一项交易，上面写着“嘿，这是我的全部踪迹”。这实际上就是批量验证。所以回到我们正在做的事情——批量证明可以实现这个特定的事情。在你和我想玩游戏的地方，我们可以在链下玩游戏，我们可以做一堆动作，100 步之后我们的板球比赛就结束了，你赢了——只有一笔交易进入链，然后它在那里定居。你和我都不能作弊，因为我们基本上保持着相似的状态通道，一路上都会进行密码验证。

让我简单说一下有关程序部署以及您是否认为自己可以进入前十名的说明。

A）我认为有很多机会，我们几乎没有探索设计空间。我不会把自己排除在外，我认为有很多有趣的想法，我认为这不仅仅是成为一名优秀开发人员的问题我认为这是一个理解零知识模型以及什么类型的应用程序的问题那里很有趣。因此，我们希望包含各种不同的应用程序。我的意思是我们不打算拥有 10 个 Uniswap。

B) 如果有 20 个人编写了很棒的程序，我向你保证，我们会找到一种方法让每个人都觉得值得花时间。链上部署激励计划限制在 10 个，主要是因为我们想真正激励人们写出好东西。如果我们将婴儿分成一百万种方式，那就没问题了。不那么令人兴奋。底线是我们希望人们编写程序，我们希望这些程序有用。因此，如果发生这种情况，你知道如果你这样做，我们会想办法支持你。

问：Aleo 和 Ironfish 有什么区别？

Alex：Aleo 是可编程的。我对Ironfish的理解主要是私有资产的转移。所以它不是可编程的，但我有一段时间没有和他们的 CEO 谈过，也许现在不一样了，或者也许有路线图，但是是的，那里没有可编程性。

关于在 Aleo 区块链上本地推出稳定币——希望在 Aleo 上发行稳定币。我们已经就此与多方进行了交谈。这是我们在 BD 方面的优先事项。我认为这是一个了不起的用例。我对今天大多数稳定币的使用非常愤世嫉俗，我认为它们中的大多数只用于赌场游戏。稳定币在现实世界中的使用仅限于赌场游戏。我认为对于现实世界的支付，你需要隐私，所以很乐意围绕稳定币提出问题。

好的，我只想感谢大家的参与、持续的参与以及社区的支持。我们都在非常努力地向你们所有人和我们所有人发布这个项目。这样我们就可以使用 ZK 技术构建令人惊叹的东西。就像我说的那样，我认为真正能够使区块链技术真正得到采用。所以我想我只想对所有在所有挑战、曲折和转折中继续支持我们的人说声谢谢。我很高兴我们现在正处于发布的风口浪尖。所以非常感谢你们，下次我会抓住你们的。

来源：Alex Pruden (CEO of Aleo) AMA at the Aleo community call (May 10). by Ihar Redin, 11/05/2023 编译：AleoAsia （转载请注明出处！）

了解Aleo 项目及最新进展，请阅读下述文章：

从8个方面介绍 Aleo 项目

Aleo 有可能为下一个牛市的到来打响第一炮吗？